Logic. Finally, we gratefully acknowledge the use of EasyChair.

Classically, a Tychonoff space is called strongly 0-dimensional if its Stone-Čech compactification is 0-dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0-dimensional if its compact completely regular coreflection is 0-dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen immediately that a Tychonoff space is strongly 0-dimensional iff the frame of its open sets is strongly 0-dimensional in the present sense. This talk will provide an account of various aspects of this notion. Particuarly relevant for this will be –the saturation quotient SM of a compact normal frame M , given by the saturation nucleus sM on M for which sM (a) = ∨ {x ∈M |x ∨ y = e⇒ a ∨ y = e}. –the variants of normality expressed by the following conditions: if a ∨ b = e (the top) then there exists c ≤ b such that a ∨ c = e for which c ≺ b (normal) c ≺≺ b (completely normal) c complemented (strongly normal) where c ≺ b means b ∨ c∗ = e (c∗ the pseudocomplement of c) and c ≺≺ b indicates the existence of an infinite sequence of interpolations c ≺ b, c ≺ d11 ≺ b, c ≺ d21 ≺ d11 ≺ d23 ≺ b, . . . –the cozero part CozL of a completely regular frame L consisting of all elements coz(γ) = γ((−, 0) ∨ (0,−)) for the real-valued continuous functions γ on L (corresponding to the classical cozero sets of a space), and –a representation of the compact completely regular coreflection of a completely regular frame L as SJCozL→ L, I 7→ ∨ {coz(γ)|coz(γ) ∈ I} where JCozL is the frame of ideals of the lattice CozL. The latter will be used to obtain the following pointfree form of a classical result: A completely regular frame L is strongly 0-dimensional iff every cozero elements of L is a countable join of complemented ones. Further, it will be shown that some familiar types of completely regular frames are strongly 0-dimensional and characterized by very natural additional conditions. This will include the P -frames, that is, the completely regular frames all whose cozero elements are complemented; they turn out to be the strongly 0-dimensional frames in which any countable join of complemented elements is complemented. The latter are called the P0frames, and it will be shown that they are reflective in the category of all 0-dimensional frames. This parallels the corresponding result for P -frames in relation to all completely regular frames, but with a substantially simpler proof. It remains a challenging open question whether P0 = P . N. Galatos, A. Kurz, C. Tsinakis (eds.), TACL 2013 (EPiC Series, vol. 123), pp. 1–1 1 Canonical formulas via locally finite reducts and generalized dualities